projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92af4e8) | patch
Add sum/subtraction integer range propagation support
authorAndrea Corallo <akrl@sdf.org>
Sun, 27 Dec 2020 13:07:08 +0000 (14:07 +0100)
committerAndrea Corallo <akrl@sdf.org>
Sun, 27 Dec 2020 20:34:03 +0000 (21:34 +0100)
commit7d07a718416d6c24df0719483279c4278dce4acb
tree6bfd5b98e1a8ea06be5a9cfdb698b327b4c75752tree | snapshot
parent92af4e8fc97a3af043904c32488b84c0e943473dcommit | diff
Add sum/subtraction integer range propagation support

* lisp/emacs-lisp/comp-cstr.el (comp-range-+, comp-range--): New
functions.
(comp-cstr-set-range-for-arithm): New macro.
(comp-cstr-add-2, comp-cstr-sub-2, comp-cstr-add, comp-cstr-sub):
New function.
* lisp/emacs-lisp/comp.el (comp-fwprop-call): Wire-up + - integer
range propagation.
lisp/emacs-lisp/comp-cstr.el diff | blob | history
lisp/emacs-lisp/comp.el diff | blob | history
test/src/comp-tests.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.